$\forall$${\it Cmd}$:Type, $x$:chain\_sys(${\it Cmd}$). ($\uparrow$csupdate?($x$)) $\Rightarrow$ (csupdate{-}from($x$) $\in$ Id)